Towards Formal Interfaces for Web Services with Transactions

نویسندگان

  • Zhenbang Chen
  • Ji Wang
  • Wei Dong
  • Zhichang Qi
چکیده

The accuracy of interface description is very important to service composition and dynamic selection of service-oriented systems. It is desirable to describe Web service formally so as to improve the ability of service orchestration. This paper presents a formal interface theory for specifying Web service by extending the existing with the ability to model interface behaviour with transactions at the levels of signature, conversation and protocol. Signature interface and conversation interface model the static invocation relations in Web service interfaces, and protocol interface describes the temporal invocation information. A formal semantics of protocol interface is presented. Based on the semantics, the protocol interface can be transformed into a Labeled Transition System (LTS). Additionally, the compatibility and substitutivity relation conditions between Web services are also proposed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards Ontology-based Services Interfaces in Services Systems based Environment

Web services ontologies formally represent the knowledge and define helps in information processing with the help of concepts, relations, axioms etc defined in them. This paper outlines various services interfaces in services systems with intent to describe them ontologically. We identify two types of services interfaces in the system discussed in this paper and propose semantic-based model for...

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

A Petri Net-Based Specification Model towards Verifiable Service Computing

The emerging paradigm of Web services opens a new way of engineering enterprise Web applications via rapidly developing and deploying Web applications, by composing independently published Web service components to conduct new business transactions. However, how to formally validate and reason about the properties of an enterprise system composed of Web service components remains a challenge. T...

متن کامل

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

A semantic web service framework to support intelligent distributed manufacturing

As markets become unexpectedly turbulent with a shortened product life cycle and a power shift towards buyers, the need for methods to develop products, production facilities, and supporting software rapidly and cost-effectively is becoming urgent. The use of a loosely integrated virtual enterprise based framework holds the potential of surviving changing market needs. However, its success requ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006